[INFO] cloning repository https://github.com/SuperInstance/hoare-logic
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SuperInstance/hoare-logic" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSuperInstance%2Fhoare-logic", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSuperInstance%2Fhoare-logic'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ca642f40f5e523f4f33859f5bdb97c9cae47cd17
[INFO] checking SuperInstance/hoare-logic against try#b152f5575a2ac7126ae0019e4e679abe9399213e for pr-157841
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSuperInstance%2Fhoare-logic" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/SuperInstance/hoare-logic
[INFO] finished tweaking git repo https://github.com/SuperInstance/hoare-logic
[INFO] tweaked toml for git repo https://github.com/SuperInstance/hoare-logic written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/SuperInstance/hoare-logic on toolchain b152f5575a2ac7126ae0019e4e679abe9399213e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b152f5575a2ac7126ae0019e4e679abe9399213e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/SuperInstance/hoare-logic already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b152f5575a2ac7126ae0019e4e679abe9399213e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 8d65e73af1414e7f606c5c59b3979c5ea76e6069a7bba37db4b9cea9921240b6
[INFO] running `Command { std: "docker" "start" "8d65e73af1414e7f606c5c59b3979c5ea76e6069a7bba37db4b9cea9921240b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8d65e73af1414e7f606c5c59b3979c5ea76e6069a7bba37db4b9cea9921240b6" "/opt/rustwide/cargo-home/bin/cargo" "+b152f5575a2ac7126ae0019e4e679abe9399213e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8d65e73af1414e7f606c5c59b3979c5ea76e6069a7bba37db4b9cea9921240b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8d65e73af1414e7f606c5c59b3979c5ea76e6069a7bba37db4b9cea9921240b6" "/opt/rustwide/cargo-home/bin/cargo" "+b152f5575a2ac7126ae0019e4e679abe9399213e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking hoare-logic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `vcgen`
[INFO] [stdout]   --> src/triple.rs:50:23
[INFO] [stdout]    |
[INFO] [stdout] 50 |     use crate::{Expr, vcgen};
[INFO] [stdout]    |                       ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `HoareTriple` is never constructed
[INFO] [stdout]    --> src/vcgen.rs:156:12
[INFO] [stdout]     |
[INFO] [stdout] 156 | pub struct HoareTriple {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `verify`, and `vcs` are never used
[INFO] [stdout]    --> src/vcgen.rs:167:12
[INFO] [stdout]     |
[INFO] [stdout] 165 | impl HoareTriple {
[INFO] [stdout]     | ---------------- associated items in this implementation
[INFO] [stdout] 166 |     /// Create a new Hoare triple.
[INFO] [stdout] 167 |     pub fn new(pre: Assert, stmt: Stmt, post: Assert) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 172 |     pub fn verify(&self) -> TripleResult {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 192 |     pub fn vcs(&self) -> Vec<Assert> {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `TripleResult` is never used
[INFO] [stdout]    --> src/vcgen.rs:205:10
[INFO] [stdout]     |
[INFO] [stdout] 205 | pub enum TripleResult {
[INFO] [stdout]     |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_valid` is never used
[INFO] [stdout]    --> src/vcgen.rs:214:12
[INFO] [stdout]     |
[INFO] [stdout] 212 | impl TripleResult {
[INFO] [stdout]     | ----------------- method in this implementation
[INFO] [stdout] 213 |     /// Whether the triple is valid.
[INFO] [stdout] 214 |     pub fn is_valid(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/vcgen.rs:209:13
[INFO] [stdout]     |
[INFO] [stdout] 209 |     Invalid(Assert),
[INFO] [stdout]     |     ------- ^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `TripleResult` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 209 -     Invalid(Assert),
[INFO] [stdout] 209 +     Invalid(()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.31s
[INFO] running `Command { std: "docker" "inspect" "8d65e73af1414e7f606c5c59b3979c5ea76e6069a7bba37db4b9cea9921240b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8d65e73af1414e7f606c5c59b3979c5ea76e6069a7bba37db4b9cea9921240b6", kill_on_drop: false }`
[INFO] [stdout] 8d65e73af1414e7f606c5c59b3979c5ea76e6069a7bba37db4b9cea9921240b6
